Modelling Epistemic Systems

نویسنده

  • André C. R. Martins
چکیده

In this Chapter, I will explore the use of modeling in order to understand how Science works. I will discuss the modeling of scientific communities, providing a general, non-comprehensive overview of existing models, with a focus on the use of the tools of Agent-Based Modeling and Opinion Dynamics. A special attention will be paid to models inspired by a Bayesian formalism of Opinion Dynamics. The objective of this exploration is to better understand the effect that different conditions might have on the reliability of the opinions of a scientific community. We will see that, by using artificial worlds as exploring grounds, we can prevent some epistemological problems with the definition of truth and obtain insights on the conditions that might cause the quest for more reliable knowledge to fail.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Substructural Epistemic Resource Logic and Its Use in Systems Security Modelling

We present a substructural epistemic logic, based on Boolean BI, in which the epistemic modalities are parametrized on the agent’s local resource. The new modalities can be seen as generalizations of the usual epistemic modalities. The logic combines Boolean BI’s resource semantics with epistemic agency. We give a labelled tableaux calculus and establish soundness and completeness with respect ...

متن کامل

A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems

We investigate quantified interpreted systems, a semantics to model multi-agent systems in which agents can reason about individuals, their properties, and relationships among them. The semantics naturally extends interpreted systems to first-order by introducing a domain of individuals. We analyse a first-order epistemic language interpreted on this semantics and show soundness and completenes...

متن کامل

DEMO — A Demo of Epistemic Modelling

This paper introduces and documents DEMO, a Dynamic Epistemic Modelling tool. DEMO allows modelling epistemic updates, graphical display of update results, graphical display of action models, formula evaluation in epistemic models, translation of dynamic epistemic formulas to PDL formulas. Also, DEMO implements the reduction of dynamic epistemic logic [22, 2, 3, 1] to PDL given in [17] and pres...

متن کامل

Logic of Information Flow on Communication Channels

In this paper, we develop an epistemic logic to specify and reason about the information flow on the underlying communication channels. By combining ideas from Dynamic Epistemic Logic (DEL) and Interpreted Systems (IS), our semantics offers a natural and neat way of modelling multi-agent communication scenarios with different assumptions about the observational power of agents. We relate our lo...

متن کامل

A Practical Theory of Nonmonotonic Temporal Modelling

This paper sets out a framework for modelling causal or predictive systems, and is concerned with bridging the gap between the theory and practice of nonmonotonic temporal reasoning. The central result is a nonmonotonic reasoning methodology which subsumes Shoham's chronological ignorance (CI) formalism for causal theories. The new formalism uses an extension of Re-iter's default logic and, unl...

متن کامل

Comparing uncertainty data in epistemic and ontic sense used to decision making problem

In the paper aspect of comparability alternatives in decision making problem by imprecise or incomplete information isexamined. In particular, new definitions of transitivity based on the measure of the intensity preference between pairsof alternatives in epistemic and ontic case is presented and its application to solve decision making problem is proposed.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2014